Optimal. Leaf size=52 \[ \frac {b c-a d}{c d \sqrt {c+\frac {d}{x^2}}}+\frac {a \tanh ^{-1}\left (\frac {\sqrt {c+\frac {d}{x^2}}}{\sqrt {c}}\right )}{c^{3/2}} \]
________________________________________________________________________________________
Rubi [A] time = 0.04, antiderivative size = 52, normalized size of antiderivative = 1.00, number of steps used = 4, number of rules used = 4, integrand size = 22, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.182, Rules used = {446, 78, 63, 208} \begin {gather*} \frac {b c-a d}{c d \sqrt {c+\frac {d}{x^2}}}+\frac {a \tanh ^{-1}\left (\frac {\sqrt {c+\frac {d}{x^2}}}{\sqrt {c}}\right )}{c^{3/2}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 63
Rule 78
Rule 208
Rule 446
Rubi steps
\begin {align*} \int \frac {a+\frac {b}{x^2}}{\left (c+\frac {d}{x^2}\right )^{3/2} x} \, dx &=-\left (\frac {1}{2} \operatorname {Subst}\left (\int \frac {a+b x}{x (c+d x)^{3/2}} \, dx,x,\frac {1}{x^2}\right )\right )\\ &=\frac {b c-a d}{c d \sqrt {c+\frac {d}{x^2}}}-\frac {a \operatorname {Subst}\left (\int \frac {1}{x \sqrt {c+d x}} \, dx,x,\frac {1}{x^2}\right )}{2 c}\\ &=\frac {b c-a d}{c d \sqrt {c+\frac {d}{x^2}}}-\frac {a \operatorname {Subst}\left (\int \frac {1}{-\frac {c}{d}+\frac {x^2}{d}} \, dx,x,\sqrt {c+\frac {d}{x^2}}\right )}{c d}\\ &=\frac {b c-a d}{c d \sqrt {c+\frac {d}{x^2}}}+\frac {a \tanh ^{-1}\left (\frac {\sqrt {c+\frac {d}{x^2}}}{\sqrt {c}}\right )}{c^{3/2}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.09, size = 73, normalized size = 1.40 \begin {gather*} \frac {\sqrt {c} x (b c-a d)+a d^{3/2} \sqrt {\frac {c x^2}{d}+1} \sinh ^{-1}\left (\frac {\sqrt {c} x}{\sqrt {d}}\right )}{c^{3/2} d x \sqrt {c+\frac {d}{x^2}}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
IntegrateAlgebraic [A] time = 0.11, size = 73, normalized size = 1.40 \begin {gather*} \frac {a \tanh ^{-1}\left (\frac {\sqrt {\frac {c x^2+d}{x^2}}}{\sqrt {c}}\right )}{c^{3/2}}-\frac {x^2 \sqrt {\frac {c x^2+d}{x^2}} (a d-b c)}{c d \left (c x^2+d\right )} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [B] time = 0.46, size = 200, normalized size = 3.85 \begin {gather*} \left [\frac {2 \, {\left (b c^{2} - a c d\right )} x^{2} \sqrt {\frac {c x^{2} + d}{x^{2}}} + {\left (a c d x^{2} + a d^{2}\right )} \sqrt {c} \log \left (-2 \, c x^{2} - 2 \, \sqrt {c} x^{2} \sqrt {\frac {c x^{2} + d}{x^{2}}} - d\right )}{2 \, {\left (c^{3} d x^{2} + c^{2} d^{2}\right )}}, \frac {{\left (b c^{2} - a c d\right )} x^{2} \sqrt {\frac {c x^{2} + d}{x^{2}}} - {\left (a c d x^{2} + a d^{2}\right )} \sqrt {-c} \arctan \left (\frac {\sqrt {-c} x^{2} \sqrt {\frac {c x^{2} + d}{x^{2}}}}{c x^{2} + d}\right )}{c^{3} d x^{2} + c^{2} d^{2}}\right ] \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [F(-2)] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: TypeError} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.06, size = 75, normalized size = 1.44 \begin {gather*} \frac {\left (c \,x^{2}+d \right ) \left (-a \,c^{\frac {3}{2}} d x +b \,c^{\frac {5}{2}} x +\sqrt {c \,x^{2}+d}\, a c d \ln \left (\sqrt {c}\, x +\sqrt {c \,x^{2}+d}\right )\right )}{\left (\frac {c \,x^{2}+d}{x^{2}}\right )^{\frac {3}{2}} c^{\frac {5}{2}} d \,x^{3}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 1.26, size = 69, normalized size = 1.33 \begin {gather*} -\frac {1}{2} \, a {\left (\frac {\log \left (\frac {\sqrt {c + \frac {d}{x^{2}}} - \sqrt {c}}{\sqrt {c + \frac {d}{x^{2}}} + \sqrt {c}}\right )}{c^{\frac {3}{2}}} + \frac {2}{\sqrt {c + \frac {d}{x^{2}}} c}\right )} + \frac {b}{\sqrt {c + \frac {d}{x^{2}}} d} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 5.06, size = 54, normalized size = 1.04 \begin {gather*} \frac {a\,\mathrm {atanh}\left (\frac {\sqrt {c+\frac {d}{x^2}}}{\sqrt {c}}\right )}{c^{3/2}}-\frac {a}{c\,\sqrt {c+\frac {d}{x^2}}}+\frac {b\,\sqrt {x^2}}{d\,\sqrt {c\,x^2+d}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 20.33, size = 49, normalized size = 0.94 \begin {gather*} - \frac {a \operatorname {atan}{\left (\frac {\sqrt {c + \frac {d}{x^{2}}}}{\sqrt {- c}} \right )}}{c \sqrt {- c}} - \frac {a d - b c}{c d \sqrt {c + \frac {d}{x^{2}}}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________